Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
151	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
152	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
153	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Type systems Procedural programming languages Theoretical computer science Type inference Monad ML Hindley–Milner Software engineering Computing Programming language theory
154	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
155	RELIABILITY ANALYSIS METHODS FOR CALIBRATION INTERVALS: ANALYSIS OF TYPE III CENSORED DATA1 Dennis H. Jackson, Ph.D. Naval Weapon Station, Seal Beach, Corona Annex Corona, CaliforniaHoward T. Castrup, Ph.D. Add to Reading List Source URL: www.isgmax.com Language: English - Date: 2009-11-19 22:38:00 Statistical inference Failure Reliability engineering Exponential distribution Confidence interval Standard error Maximum likelihood Likelihood function Normal distribution Statistics Survival analysis Estimation theory
156	Automatic Dimension Inference and Checking for Object-Oriented Programs Sudheendra Hangal and Monica S. Lam Computer Science Department Stanford University, CA 94305 {hangal,lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2010-05-01 03:11:59 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type inference Type system Data types Type theory Software engineering
157	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
158	Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Software engineering Unification Type system Admissible rule Type inference Symbol Hindley–Milner Entailment Function Type theory Logic Mathematics
159	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
160	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing

UPDATE